An Institution for Graph Transformation
نویسندگان
چکیده
The development of a denotational framework for graph transformation systems proved elusive so far. Despite the existence of many formalisms for modelling various notions of rewriting, the lack of an explicit, algebraic notion of “term” for describing a graph (thus different from the usual view of a graph as an algebra in itself) frustrated the efforts of the researchers. Resorting to the theory of institutions, the paper introduces a model for the operational semantics of graph transformation systems specified according to the so-called double-pullback approach.
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملENTROPY OF DYNAMICAL SYSTEMS ON WEIGHTS OF A GRAPH
Let $G$ be a finite simple graph whose vertices and edges are weighted by two functions. In this paper we shall define and calculate entropy of a dynamical system on weights of the graph $G$, by using the weights of vertices and edges of $G$. We examine the conditions under which entropy of the dynamical system is zero, possitive or $+infty$. At the end it is shown that, for $rin [0,+infty]$, t...
متن کاملStudy of Systemic risk in the banking sector of Tehran Stock Exchange: Graph theory approach and ARMA-gjrGARCH-DCC
Banking systems are critical to economies, and their influence is significantly stronger in Iran. As a result, fragility in the country's financial system and the emergence of systemic risks in the banking system undermine the economy's stability and performance. Due to the importance of systemic risk in the banking network, this study examines the factors affecting the occurrence of systemic r...
متن کاملDefining the relationship between the evolutions of the museum institution and the nationalism discourse in the modern and postmodern era
The museum as a cultural-social institution is influenced by the values of the society and the ideology that dominates it. Among these ideologies is nationalism, which has been particularly important in the formation and evolution of museums in the world. The transformation of museums since the establishment of this institution in Europe can be related to the idea of nationalism, which can be e...
متن کاملتعبیه ی هندسی درخت درنقاط داخل یک چندضلعی با حداقل تعداد خم
In this paper we consider to embed a tree T with N vertices on a set of N points inside a simple polygon on n vertices and the goal is to minimize the number of bends. The main idea of our algorithm is modeling the problem into graph matching problem and uses the graph matching algorithms. We apply the concept of error-correction transformation and find the appropriate cost function then we per...
متن کامل